System and method for detecting executable machine instructions in a data stream

ABSTRACT

Detecting executable machine instructions in a data is accomplished by accessing a plurality of values representing data contained within a memory of a computer system and performing pre-processing on the plurality of values to produce a candidate data subset. The pre-processing may include determining whether the plurality of values meets (a) a randomness condition, (b) a length condition, and/or (c) a string ratio condition. The candidate data subset is inspected for computer instructions, characteristics of the computer instructions are determined, and a predetermined action taken based on the characteristics of the computer instructions.

CROSS REFERENCE TO RELATED APPLICATION

This patent application claims priority to and is a continuation of U.S. patent application Ser. No. 12/607,055 titled System And Method For Detecting Executable Machine Instructions In A Data Stream and filed Oct. 27, 2009, the entire contents of which is herein incorporated by reference in its entirety.

BACKGROUND OF THE INVENTION

The present invention generally relates to malware detection and more specifically relates to using a determination of data entropy, ratio of string data to non-string data, and computer instruction disassembly to detect malware inside of data files that should not contain executable code

A common problem facing information security personnel is the need to identify suspicious or outright malicious software or data on a computer system. This problem typically arises when an attacker uses a malicious piece of software to compromise a computer system. Initial steps taken in response to this kind of situation include attempts to locate and identify malicious software (also known as “malware”, comprised of machine instructions) or data, followed by attempts to classify that malicious software so that its capabilities may better be understood. Investigators and response personnel use a variety of techniques to locate and identify suspicious software, such as temporal analysis, filtering of known entities, and Live Response.

Temporal analysis involves a review of all activity on a system according to date and time so that events occurring on or around a time window of suspected compromise may be more closely examined. Such items might include event log entries; files created, deleted, accessed, or modified; processes that were started or terminated; network ports opened or closed, and similar items.

Additionally a comparison of files on the system being examined against known file patterns may be performed. In this situation, all files on the system may be reviewed and compared against a database of known, previously encountered files. Such comparisons are usually accomplished through use of a cryptographic hash algorithm—a well known mathematical function that takes the data from a file and turns it into a compact numerical representation known as a hash value. A fundamental property of hash functions is that if two hash values generated using the same algorithm are different, then the data used to generate those hashes must also be different. The corollary is that hashes found to match were generated from data that was identical. While the corollary is not always true, hash collisions (identical hashes generated from different input data) for cryptographic hash algorithms are rare such that a hash comparison may be used to determine file equivalence.

An alternative to reviewing static historical data such as files and event logs is Live Response. This technique examines running programs, system memory contents, network port activity, and other system metadata while the computer system is still on and in a compromised state in order to identify how it may have been modified by an attacker.

There are many other techniques that may be employed to identify suspicious activity on a potentially compromised computer system. These techniques often generate a rather large amount of data, all of which must be reviewed and interpreted in order to reach any conclusions. Further complicating this technique is the fact that attackers typically have a good understanding of the techniques used to identify compromised systems. They employ various methods to hide their presence, making the job of an investigator that much more difficult. Some of these techniques include deleting indicators of their entry to a system once it's compromised, such as log file entries, file modification/access dates, and system processes. Attackers may also obfuscate running malware by changing its name or execution profile such that it appears to be something benign. In order to better hide malware or other data stored on disk, attackers may make use of a “packed” storage format. Packing is a technique by which data is obfuscated or encrypted and encapsulated along with a program to perform a decryption/de-obfuscation, and then stored somewhere on a system. For example, a “Packed Executable” is a piece of software that contains an “unpacking” program and a payload of encrypted data. That payload is often malicious software, such as a virus or Trojan Horse. Attackers may also embed malware inside of files that otherwise would not contain executable machine instructions. This packaging serves two purposes—it attempts to hide the attacker's malware in a location that may be easily overlooked by an investigator. It also may be used to dupe a computer user into inadvertently executing the malware, thus compromising their computer system.

One of the fundamental properties of a data set consisting of machine instructions, when compared to human readable data set, is that the randomness, or “entropy” of the data tends to be higher. Techniques for determining data entropy to identify malware are described in U.S. patent application Ser. No. 11/657,541, published as US Pat. Pub.2008-0184367, the disclosure of which is hereby incorporated by reference in its entirety into the present application. While an examination of entropy may provide a useful filter, a measure of entropy alone is not a guaranteed method for identifying executable machine instructions. Moreover, there are drawbacks to using entropy across a block of data. For example, entropy is a global measurement across a data set, returning a single value across that set. This means that a data block may return a low entropy measurement when in fact small sections of that same data may contain very high entropy. This scenario may be true even if the majority of the data block has low entropy.

Thus, there is a need in the art for a technique to derive a robust measurement of entropy in order to detect the presence of malware in a computer system that has been hidden by an attacker inside of data streams that do not normally contain executable machine instructions.

SUMMARY

The present inventors have developed techniques that derive a robust measurement of entropy combined with analysis of string-based data in order to detect the presence of executable machine instructions in a data stream.

In addition to entropy, string ratios may be examined to identify whether a block of data is more likely to be executable machine instructions. A string is a sequence of characters that may be represented, for example, in either the American Standard Code for Information Interchange (ASCII) or Unicode—both of which are industry standard methods for representing human readable information in a computer system. The presence of a large number of strings, or the presence of a large contiguous string in a data block, are indicators that a block of data is less likely to be machine readable instructions and more likely to be human readable text.

Blocks of information may also be “brute force” disassembled—that is, a given block of information may be assumed to contain a set of machine instructions and attempts may be made to interpret that data as instructions to identify if they are valid. A data block may contain instructions in combination with other data. The challenge in this circumstance is identifying what subset of information within the block are machine instructions versus other types of information. To overcome this, disassembly may be attempted at each offset within the data block and the results examined to identify ratios of valid versus invalid instruction sequences.

Thus, a block of data may be analyzed by measuring the ratio of string to non-string information in a data block and identifying the presence of long, contiguous strings, in addition to applying entropy measurements. A resulting filter may effectively identify the presence of potential machine instructions in an arbitrary data stream. Combination of such filters with a “brute force” disassembly method results in a reliable system for identifying machine instructions in a data stream.

In an embodiment, analyzing whether executable code exists within data may include accessing a plurality of values representing data contained within a memory of a computer system and performing pre-processing on the plurality of values to produce a candidate data subset. The pre-processing may be performed by a computer and consist of determining whether the plurality of values meets at least one of (a) a randomness condition, (b) a length condition, and (c) a string ratio condition. Analyzing whether executable code exists within data may further include: inspecting, with the computer, the candidate data subset for computer instructions and determining one or more characteristics of the computer instructions. A predetermined action based on the characteristics of the computer instructions may be taken.

In a further embodiment, accessing a plurality of values may further include retrieving data directly from at least one memory component contained within the computer system.

In another embodiment, accessing a plurality of values may further include reading an input stream from a persistent storage device. Reading the input stream may include reading a file from a hard drive of a computer system.

In yet a further embodiment, determining whether the plurality of values meets the randomness condition may include performing an entropy calculation, and the entropy calculation may include computation of a value for Shannon entropy.

In an embodiment, the length condition may include a minimum threshold value. The threshold value may be smaller than the candidate data subset.

In another embodiment, inspecting the candidate data set may include a brute force disassembly of the candidate data subset. The brute force disassembly may include determining if any PPMJXC instruction sequences exist in the candidate data set, determining if any other instruction sequences exist in the candidate data subset, and/or determining if an instruction sequence exists in the plurality of values that indicates an end of the instruction sequence.

In a further embodiment, taking a predetermined action may include providing notification to a user and/or executing an automated process.

In an embodiment, a tangible computer readable media has instructions which enable a machine to access a plurality of values representing data contained within a memory of a computer system and perform pre-processing on the plurality of values to produce a candidate data subset. The pre-processing may be performed by a computer and consist of determining whether the plurality of values meets at least one of (a) a randomness condition, (b) a length condition, and (c) a string ratio condition. The instructions may further enable the machine to inspect, with the computer, the candidate data subset for computer instructions and determine one or more characteristics of the computer instructions, and take a predetermined action based on the characteristics of the computer instructions.

In a yet further embodiment, a distributed method of analyzing whether executable code exists within data may include accessing, at a first location, a plurality of values representing data contained within a memory of a computer system and performing pre-processing on the plurality of values to produce a candidate data subset. The pre-processing may be performed by a first computer and consist of determining whether the plurality of values meets at least one of (a) a randomness condition, (b) a length condition, and (c) a string ratio condition. The candidate data subset may be transmitted to a second location. Analyzing whether executable code exists within data may further include: inspecting, at the second location, with a second computer, the candidate data subset for computer instructions and determining one or more characteristics of the computer instructions. A predetermined action based on the characteristics of the computer instructions may be taken.

In an embodiment, the first computer may be a computer of a user; the second computer may be a remote service, which may be a cloud computing based remote service.

Other systems, methods, features, and advantages consistent with the present invention will become apparent to one with skill in the art upon examination of the following figures and detailed description. It is intended that such additional systems, methods, features, and advantages be included within this description and be within the scope of the invention.

BRIEF DESCRIPTION OF THE DRAWINGS

The accompanying drawings, which are incorporated in and constitute a part of this specification, illustrate an implementation of methods and systems consistent with the present invention and, together with the description, serve to explain advantages and principles consistent with the invention. In the drawings,

FIG. 1 illustrates how executable machine instructions may be embedded in a data stream that contains non-machine instruction (or “non-executable”) data;

FIG. 2 illustrates a detailed flowchart of a method of detecting malware by finding executable code in an arbitrary data stream using an entropy calculation and string analysis consistent with the present invention;

FIG. 3 continues the flowchart started in FIG. 2 and completes the description of a method of detecting malware by finding executable code in an arbitrary data stream through use of brute force disassembly, and disassembly validation consistent with the present invention.

DETAILED DESCRIPTION

The presently disclosed techniques provide for analysis of arbitrary blocks of data from a computer system. The analysis may include quantification of the data's entropic characteristics so as to reach conclusions about how suspicious or interesting the data may be. The terms “suspicious” and “interesting”, as used herein, refer to data that might be an indication of a compromised computer system, or related directly to a compromising technique. Identifying executable code inside of an arbitrary data stream may also be interesting in circumstances other than computer security incidents. For example, the presence of executable code in data may be of interest in the intelligence, law enforcement, or policy compliance fields.

An entropy determination method may consist of a specific combination of techniques that may divide a segment of data from a computer system into pieces and apply mathematical techniques for determining entropy across those pieces. Subsequently, each segment data may be subjected to additional analysis, or not, depending on whether it meets a specified entropy threshold. For example, a data stream may be divided into pieces, where each piece is 256 bytes in size, before being analyzed for entropy.

If a data block meets a specified entropy threshold, it may be analyzed for the presence of string information in a number of ways. For example, the largest contiguous string may be identified. In addition, or alternatively, the overall ratio of string to non-string information for that block may be calculated. If the longest contiguous string is below a specified threshold and the ratio of string to non-string data is also below a specified threshold, “brute force” disassembly may be attempted.

Brute force disassembly may be used to interpret the data segment as machine instructions at each offset within the data segment. For example, if a data segment is 256 bytes long, the disassembly would involve attempting to interpret the data segment as machine instructions multiple times—once starting at byte 0 and reading through byte 255, once starting at byte 1 and reading through byte 255, and so on. During each pass the number of each different type of machine instruction encountered is recorded. A specified heuristic may be applied to determine the “most valid” disassembly from the data segment. In one embodiment consistent with the invention, a heuristic called PPMJXC may be used. PPMJXC stands for Push Pop Mov Jmp Xor Call. These are machine instructions that occur with very high frequency in software. When analyzing a data segment to determine if it is executable code, a higher ratio of PPMJXC instructions when compared to other instruction types within a data segment may be indicative of such executable code. When using PPMJXC, the data segment with the highest number of these commands may be selected as the “most valid” disassembly. In cases where there are two disassemblies of a data segment with the same number of PPMJXC instructions, the disassembly with the lower offset is utilized to obtain the largest number of machine instructions. The disassembly may be conducted in such a way that the results must contain a minimum number of PPMJXC instructions, for example, twenty, in order to be considered valid.

Once disassembly has been completed, additional validation operations may be applied across the disassembly to further validate or refine the findings. For example, several additional checks may be applied to the disassembled information: i) the valid instructions in the disassembly need to belong to a set of well known, understood instructions (e.g. “valid instructions for the computer processor of the system being examined”); and ii) the disassembly needs to end with a valid instruction that signifies the end of a machine instruction block—such blocks contain instructions that return flow of control to some other region of a computer system's memory. A disassembly meeting all of the above criteria may be positively identified as executable code embedded in a data stream. Both the data segment and the overall data stream the data segment was a member of may be marked in some fashion for review through a user interface.

A malware detection method in a data processing system may determine suspicious data based on identifying executable machine instructions in data streams such as files or memory. The method, for example, may include acquiring a segment of data, calculating an entropy value for the segment of data, comparing the entropy value to a threshold value, identifying string ratio and length characteristics, performing a brute force disassembly, and validating that disassembly. The data segment and parent data stream may be marked as interesting or suspicious if a valid disassembly for machine instructions is identified. The method may further include reporting suspicious data to an administrator.

Reference will now be made in detail to an implementation consistent with the present invention as illustrated in the accompanying drawings.

FIG. 1 illustrates how executable machine instructions may be embedded in a data stream that contains non-machine instruction data. A data stream 100 (in this example, a file stored on a computer system) may contain non-machine instruction (or “non-executable”) data segments 110 and 130, for example.

The computer system in the present example may include any computer system capable of executing the methods of the described embodiments and may include one or more processors and one or more memories. The computer system may also include a network of two or more computers, including computers accessible over the Internet and via cloud computing-based services. The computer memory may be capable of storing instructions executable by a processor and such instructions may be stored in temporary memory or persistent memory. Such persistent memory may include a hard drive. The computer system may be enabled to execute any of the processes described with reference to FIG. 2 and FIG. 3.

Embedded within the data stream in the computer system, in-between non-executable data segments 110 and 130, for example, an executable segment of machine instructions, 120, may exist. Embedding segment 120 may accomplish a variety of purposes, including but not limited to, disguising malware in order to evade detection or enhancing the probability of compromising a computer system as the result of a computer system user opening the data stream and inadvertently executing the machine instructions contained in the data stream.

FIG. 2 illustrates a detailed flowchart of a method of detecting malware by finding executable code in an arbitrary data stream using an entropy calculation and string analysis consistent with the present invention. At step 200 a data stream may be opened for reading. At step 210, n bytes may be read into an input buffer. In one embodiment consistent with the invention, n is 256.

At step 220 an entropy calculation is made across the input buffer. There are several mathematical methods for generating a numeric understanding of the entropy, or “randomness”, of a block of data or signal. A description of one example for calculating entropy is now provided. In one embodiment consistent with the present invention, an entropy determination method uses a calculation first described by Claude Shannon that is now commonly referred to as Shannon Entropy, as follows:

${H(X)} = {\sum\limits_{i = 1}^{n}\; {{p\left( x_{i} \right)}{\log_{2}\left( \frac{1}{p\left( x_{i} \right)} \right)}}}$

where p(x) is the probability of x given the discrete random variable X. Since X is discrete, an alphabet is chosen. Since the data is binary digital data organized in bytes (or 8-bit blocks), the alphabet should be the set {0 . . . 255}, or in binary, ‘00000000’ through ‘11111111’. This will require a minimum block of scanned data to be 256 bytes in length. While this is not a requirement, the value H(X) will be different depending on the alphabet used. The value is normalized such that

PH(X)ε0.0 . . . 1.0

where

PH(X)=H(X)/MAX(H(X))

In short, the entropy value calculated through application of this method is a number between 0 and 1, where values closer to 1 indicate higher degrees of entropy in a given block of data. For a more thorough discussion of Shannon Entropy, see Shannon, C. E. “A Mathematical Theory of Communication.” The Bell System Technical J. 27, 379-423 and 623-656, July and Oct. 1948, which is incorporated by reference.

If the entropy calculated at step 220 is determined at a step 225 to be less than a threshold x, the input buffer contents may be discarded and the next set of n bytes may be read into the input buffer from the data stream (step 210). This process may be repeated until the entropy calculated at step 220 is greater than a specified randomness condition, such as a threshold x (step 230). If an input buffer has entropy greater than x, it then may be reviewed for the presence of string data (represented as either ASCII or Unicode) in step 240. The longest string from the input buffer may be identified. If it is longer than threshold y, the input buffer may be discarded and the next set of bytes may be read from the input stream (step 210). The entropy and string length process may be then repeated until an input buffer is found with entropy greater than x (step 230) and a “longest string” of length less than y (step 250). In an embodiment, x may be equal to 3.5 for certain entropy algorithms other than the Shannon algorithm and y may be equal to 100 bytes. At step 260 the ratio of string to non-string data may be calculated for the input buffer. If it is greater than threshold z (step 265) the input buffer may be discarded and the next set of bytes may be read from the data stream (step 210). In an embodiment, z may be equal to 60%. The entropy measurement (step 220), string length identification (step 240), and string ratio (step 260) processes comprise the pre-processing that may be performed on the data values in the input buffer to perform a candidate data set. Those pre-processing steps may be repeated until an input buffer is found that has entropy greater than x, maximum string length less than y, and a string to non-string ratio of less than z. In an embodiment, when an input buffer is identified that meets all three criteria, the process moves on to the next phase with that candidate data set (step 270).

FIG. 3 continues the flowchart started in FIG. 2 and completes the description of a method of detecting malware by finding executable code in an arbitrary data stream through use of brute force disassembly, and disassembly validation consistent with the present invention. Once a candidate data set is found to meet the criteria identified in FIG. 2, a series of “brute force” disassemblies may be attempted on the candidate data set in the input buffer to identify the presence of machine executable instructions. In step 300, a test offset value may be set to 0, which measures how far into the input buffer (in bytes) to begin a disassembly. In step 310, disassembly begins in the input buffer at the test offset. In step 320, all Push, Pop, Mov, Jmp, Xor, and Call (PPMJXC) instructions may be counted during the disassembly and recorded for that test offset. The test offset may be then incremented by one (step 330). If the test offset is less than the total number of bytes in the input buffer (step 335), the process may be then repeated starting at the new test offset. If the test offset is greater than the number of bytes in the input buffer (step 340), all possible disassemblies have been attempted for the input buffer. At step 350 the test offset/PPMJXC count information may be reviewed and the earliest offset with the greatest number of PPMJXC instructions may be selected as the “most valid” disassembly run. In step 360, the number of PPMJXC instructions may be compared to a threshold a; if it does not exceed that threshold, the input buffer may be discarded and the entire analysis process begins again (step 210 from FIG. 2). In an embodiment, a may be equal to 20 instructions. If the count of PPMJXC instructions does exceed threshold a, additional validation and disassembly “cleanup” procedures may be attempted across the input buffer to further refine the identification of executable code (step 370). In one embodiment consistent with the invention, two additional validations may be performed: i) all instructions beyond PPMJXC in the input buffer may be verified as valid, and ii) the end of the executable machine instructions in the input buffer may be examined to ensure that the last instructions at the end of an executable instruction sequence are consistent with the computer architecture the executable code is targeted for. Different computer processors may have different instruction sets, including different instructions for indicating the end of an executable block of code. In one embodiment consistent with the invention, an instruction for returning flow control on Intel-branded “x86” computer processors is identified. Once the optional validation steps are complete (step 370), the user may be notified that the data stream and input buffer contain executable machine instructions (step 380).

One of ordinary skill in the art will recognize that any number of metadata analyses may be exploited in order to increase the accuracy and type of determinations that may be made when coupled with an identification of machine executable instructions. The example explained above describes the function of the invention when looking at files stored on a system in order to identify data files containing machine executable instructions. The same approach may be applied against different elements of a file on disk, portions of system or process memory, or any other stream of data where the presence of machine executable instructions may be an indication of an anomaly or other state that a user wishes to detect. Furthermore, various operations may be performed in an embodiment in different locations. For example, the preprocessing may be performed at a local computer, while the determination of executable code may be performed at a remote location.

While there has been illustrated and described embodiments consistent with the present invention, it will be understood by those skilled in the art that various changes and modifications may be made and equivalents may be substituted for elements thereof without departing from the true scope of the invention. Therefore, it is intended that this invention not be limited to any particular embodiment disclosed, but that the invention will include all embodiments falling within the scope of the appended claims. 

We claim:
 1. A method of analyzing whether executable code exists within data, said method comprising: accessing a plurality of values representing data contained within a memory of a computer system; performing pre-processing on the plurality of values to produce a candidate data subset, said pre-processing being performed by a computer and comprising determining whether the plurality of values meets at least one of (a) a randomness condition, (b) a length condition, and (c) a string ratio condition; inspecting, with the computer, the candidate data subset for computer instructions; determining one or more characteristics of the computer instructions; and taking a predetermined action based on the characteristics of the computer instructions.
 2. The method of claim 1, wherein accessing a plurality of values further comprises retrieving data directly from at least one memory component contained within the computer system.
 3. The method of claim 1, wherein accessing a plurality of values further comprises reading an input stream from a persistent storage device.
 4. The method of claim 3, wherein reading an input stream comprises reading a file from a hard drive of a computer system.
 5. The method of claim 1, wherein determining whether the plurality of values meets the randomness condition comprises performing an entropy calculation.
 6. The method of claim 5, wherein the entropy calculation comprises computation of a value for Shannon entropy.
 7. The method of claim 1, wherein the length condition comprises a minimum threshold value.
 8. The method of claim 7, wherein the threshold value is smaller than the candidate data subset.
 9. The method of claim 1, wherein inspecting the candidate data set comprises a brute force disassembly of the candidate data subset.
 10. The method of claim 9, further comprising determining if any PPMJXC instruction sequences exist in the candidate data set.
 11. The method of claim 10, further comprising determining if any other instruction sequences exist in the candidate data subset.
 12. The method of claim 10, further comprising determining if an instruction sequence exists in the plurality of values that indicates an end of the instruction sequence.
 13. The method of claim 1, wherein taking a predetermined action further comprises providing notification to a user.
 14. The method of claim 1, wherein taking a predetermined action further comprises executing an automated process.
 15. A tangible computer readable media wherein the computer readable media includes instructions which enable a machine to perform the following operations: access a plurality of values representing data contained within a memory of a computer system; perform pre-processing on the plurality of values to produce a candidate data subset, said pre-processing being performed by a computer and comprising determining whether the plurality of values meets at least one of (a) a randomness condition, (b) a length condition, and (c) a string ratio condition; inspect, with the computer, the candidate data subset for computer instructions; determine one or more characteristics of the computer instructions; and take a predetermined action based on the characteristics of the computer instructions.
 16. A distributed method of analyzing whether executable code exists within data comprising: at a first location: accessing a plurality of values representing data contained within a memory of a computer system; and performing pre-processing on the plurality of values to produce a candidate data subset, said pre-processing being performed by a first computer and comprising determining whether the plurality of values meets at least one of (a) a randomness condition, (b) a length condition, and (c) a string ratio condition; transmitting the candidate data subset to a second location; at the second location: inspecting, with a second computer, the candidate data subset for computer instructions; determining one or more characteristics of the computer instructions; and taking a predetermined action based on the characteristics of the computer instructions.
 17. The method of claim 16, wherein the first computer is a computer of a user.
 18. The method of claim 17, wherein the second computer comprises a remote service.
 19. The method of claim 18, wherein the remote service comprises a cloud computing based service. 